Thue trees
نویسندگان
چکیده
منابع مشابه
Thue trees
In this paper we introduce a new technique of proving undecidabil-ity results. This technique is based on the notion of a Thue tree. We also give examples of applications of this method to term rewriting, Horn implication problem and database dependencies.
متن کاملThue choosability of trees
A vertex colouring of a graph G is nonrepetitive if for any path P = (v1, v2, . . . , v2r) in G, the first half is coloured differently from the second half. The Thue choice number of G is the least integer l such that for every l-list assignment L of G, there exists a nonrepetitive L-colouring of G. We prove that for any positive integer l, there is a tree T with πch(T ) > l. On the other hand...
متن کاملThue Systems for Pattern Recognition
This report presents a synoptic overview of Thue Systems. Thue Systems were introduced in the early 1900s by the Norwegian mathematician and logician Axel Thue. In this report the author suggests ways in which such systems can be used in pattern recognition.
متن کاملA note on Thue games
In this work we improve on a result from [1]. In particular, we investigate the situation where a word is constructed jointly by two players who alternately append letters to the end of an existing word. One of the players (Ann) tries to avoid (non-trivial) repetitions, while the other one (Ben) tries to enforce them. We show a construction that is closer to the lower bound showed in [2] using ...
متن کاملThue Equations and Elliptic Curves
We discuss estimates for the number of solutions of Thue equations and for the number of twists of elliptic curves over the rationals with rank at least 2. We indicate some of the connections between these problems. 1. THUE EQUATIONS Let F be a binary form with rational integer coefficients and with r ≥ 3. Let h be a non-zero integer. In 1909, Thue [43] proved that if F is irreducible then the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2003
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(02)00032-5